rename(r;f) == <map(r;f.1), x.(f.2)(hd(filter(y.eqof(eq)(r(y),x);f.1)))> 

latex

---

clarification:

fpf-rename(eq;r;f) == <map(r;f.1), x.(f.2)(hd(filter(y.eqof(eq)(r(y),x);f.1)))> 

latex

Definitions	map(f;as), t.2, hd(l), filter(P;l), eqof(d), t.1
FDL editor aliases	fpf-rename